Formula Complexity Projects

Toward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW Conjecture